runtime <: syntax(error :> runtime